Zermelo set theory - PDFSEARCH.IO - Document Search Engine

Zermelo set theory
Results: 108

#	Item
21	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
22	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
23	On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:33:45 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
24	On Free Type Definitions in Z∗ R.D. Arthan ICL Secure Systems Eskdale Road Winnersh Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:41:12 Z notation Model theory Type theory Set theory Zermelo set theory Constructible universe Function Independence S Mathematical logic Mathematics Logic
25	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:13 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
26	HOL Formalised: Semantics R.D. Arthan Lemma 1 Ltd. [removed] 25th October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-03-20 12:33:24 Sheaf Function Universe Zermelo–Fraenkel set theory Lambda calculus Constructible universe Mathematics Mathematical logic Algebraic topology
27	ELEMENTARY EPIMORPHISMS BETWEEN MODELS OF SET THEORY ROBERT LUBARSKY AND NORMAN LEWIS PERLMUTTER Abstract. We show that every Π1 -elementary epimorphism between models of ZF is an isomorphism. On the other hand, nonisom Add to Reading List Source URL: math.fau.edu Language: English - Date: 2014-05-05 13:51:37 Set theory Epimorphism Homomorphism Forcing Ordinal number Constructible universe Sheaf Zermelo–Fraenkel set theory Surjective function Mathematical logic Mathematics Morphisms
28	arXiv:0905.1680v1 [math.HO] 11 May[removed]IS SET THEORY INDISPENSABLE? NIK WEAVER Abstract. Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theo Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-05-11 20:18:44 Z notation Cardinal numbers Philosophy of mathematics Forcing Zermelo–Fraenkel set theory Von Neumann universe Finite set Continuum hypothesis Foundations of mathematics Mathematical logic Mathematics Set theory
29	/home/User/.TeXmacs/system/tmp/tmp_1731426799.ps Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2012-01-24 13:32:21 Large cardinals Determinacy Forcing Z notation Reflection principle Continuum hypothesis Constructible universe Peter Koellner Zermelo–Fraenkel set theory Mathematical logic Set theory Mathematics
30	Basic set theory Richard Pettigrew January 26, 2012 1 Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:05 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory S Constructible universe Zermelo set theory Naive set theory Axiom of empty set Mathematical logic Set theory Mathematics